Predicting Hard Rock Pillar Stability Using GBDT, XGBoost, and LightGBM Algorithms | Synapse