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