A Development of Logistics Management Models for the Space Transportation System