grinding of stone coal