Modeling, Analysis and Design for Carrier Aggregation in Heterogeneous Cellular Networks | Synapse