SpaceX files publicly for its IPO, choosing Nasdaq to make its debut under the symbol SPCX (Bloomberg)