type of mill for coal