An efficient upper bound of the rotation distance of binary trees