coal mining production of great britain