how coal is used to manufacture ton of cement