SpaceX launches NASA ocean-observing satellite