coal mining industry in britain