What television show's theme was played at the commissioning of the first space shuttle?