granite quarry mining equipment 1800s