Lawrence softrock tunnelers for mining and construction from lawrence manufacturing company (Ingersoll-Rand, 1972)