type of coal used to make cement in vietnam