Google tapped billions of mobile phones to detect quakes worldwide — and send alerts