fun facts about miners mining for coal in britain