Text this: Assessment of Blasting-Induced Ground Vibration in an Open-Pit Mine under Different Rock Properties