How Big is a Hole?: The Problems of the Practical Application of Science in the Invention of the Miners’ Safety Lamp by Humphry Davy and George Stephenson in Late Regency England