tools and mashines used in coal mineing 1950s