Minimum exact SER precoding of orthogonal space-time block codes for correlated MIMO channels