Low-complexity dominance-based sphere decoder for MIMO systems