SpaceX missed a satellite collision warning due to a software bug