types of machines used in rock breaking for underground mining