Mining and processing of coal