K-restricted rotation distance between binary trees