Computational Seismology, Optimization, and Machine Learning