implement Red black tree deletion