Irwin Mine and Tunneling Supply expands its machining capability with the acquisition of Petra Machine Shop