crushing of coal in mining