Android Earthquake Alerts: A global system for early warning