mining and processing of coal