SpaceX is laying off 10% of its workers