Real-time Machine Learning for Symbol Detection in MIMO-OFDM Systems