Theoretical Foundation and Design Guideline for Reservoir Computing-based MIMO-OFDM Symbol Detection