Queue-based model approximation for inter-cell coordination with service differentiation.