chemicals used in coal mining