what is a coal mill in coal processing plant