A stochastic geometry analysis of D2D overlaying multi-channel downlink cellular networks | Synapse