crushing of coal in coke making process