The value of real‐time GNSS to earthquake early warning