China: West China Cement’s CEO Tian Zhenjun resigns