Inmarsat I5F4 launches on a SpaceX Falcon 9