machines developed for mining in the late 1800s