Describir: A short history of British metal mining technology in the eighteenth and nineteenth centuries