Housing contract dispute between Shanxi-based Tongsheng Real Estate Co, Ltd, Shanxi-based Dongmin Co, Ltd and Shanxi-based Jiancaoping District Youngqu County Rural Credit Cooperative