Local Tsunami Early Warning with GNSS Earthquake Source Products