An Android-based system is changing how earthquakes are detected