coal size used for mills