Study on crack formation and propagation in the galleries of the Dagangshan high arch dam in Southwest China based on microseismic monitoring and numerical simulation