Text this: Dynamic Fault Tree–Markov Model for Rockburst Risk Assessment in Phosphate Mining.