Simplified red-black deletion.