Massive MIMO for Decentralized Estimation of a Correlated Source