An analytical framework for optimal downlink-uplink user association in HetNets with traffic differentiation