Massive Connectivity With Massive MIMO—Part I: Device Activity Detection and Channel Estimation | Synapse