Tracking Convergence, Spalling, and Cutter Roof Formation at the Pleasant Gap Limestone Mine Using LiDAR