Share of the workforce employed in the coal industry, United Kingdom