Expectation Propagation on the Maximum of Correlated Normal Variables