Optimizing User Association and Spectrum Allocation in HetNets: A Utility Perspective | Synapse