description of the atmospheric machinery, and the great tunneling machine