Effect of text message alerts on miners evacuation decisions