A Maximum-Likelihood Decoder with a New Reduction Strategy for MIMO Channel Systems