Vector coded caching greatly enhances massive MIMO