SpaceX cutting 10 percent of its staff to become a leaner company