Cement industry in the People's Republic of China