coal is crushed in mills