A Tractable Model of the LTE Access Reservation Procedure for Machine-Type Communications | Synapse