late 1800s coal miners tools