Text this: Use of seismic tomography to identify geologic hazards in underground mines.