old fashioned coal mine equipment