mining and quarrying knowledge about coal mining