Optimum MIMO-OFDM Detection With Pilot-AidedChannel State Information