On MIMO waveform design for non-Gaussian target detection