In MIMO simulations, how does WinProp take the Envelope Correlation Coefficient (ECC) into account? If I specify antenna gain patterns and antenna locations, is that enough or do I need to specify more details? What happens if I specify the same location for two antenna of a MIMO system?