Lower Bounds on the Rotation Distance of Binary Trees