Energy, mining, and the commercial success of the Newcomen "steam" engine