types of machines used in rock bracking for underground mining