Massive Connectivity with Massive MIMO - Part I: Device Activity Detection and Channel Estimation. | AMiner