The Peking observatory in A.D. 1280 and the development of the equatorial mounting