Geodetic constraints on continental rifting along the Red Sea