Linear and Non-Linear Detection for MIMO-OFDM Systems with Linear Precoding and Spatial Correlation