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