spacex laying off 10 percent of its workforce