Title: Warwickshire coal mining in the 18th century