A Bayesian Approach to Convergence Detection in Underground Excavations using LiDAR