SpaceX IPO lock-up structure lets most insiders sell shares early