Bomba de desagüe de Thomas Newcomen, Museo de la Minería y de la