how do you crush coal