How machine learning might unlock earthquake prediction