Google exec sets a new record for highest-altitude jump (video)