Seismologists use deep learning to forecast earthquakes