Transmit-Antenna Number Detection for MIMO Systems with Non-Gaussian Interference.