A brief history of Mines Rescue in the UK