Spatial Correlation Aware Compressed Sensing for User Activity Detection and Channel Estimation in Massive MTC | IEEE Journals & Magazine | IEEE Xplore