refine rbt_delete_fix_balance with rotate in case 3