Real‐Time Seismogeodetic Earthquake Magnitude Estimates for Local Tsunami Warnings