add deletion operator in the Red-Black Tree pseudocode