what is coal mill in coal processing plant