how coal is used to manufacture 1 ton of cement