processing and refining the mineral of coal