Implement red black tree deletion