mining ore crusher 1800s