Average SEP-Optimal Precoding for Correlated Massive MIMO with ZF Detection: An Asymptotic Analysis.