Machine learning aids earthquake risk prediction