A Systematic Framework For Analyzing the Security and Privacy of Cellular Networks