A unified approach to linear programming bounds for queueing networks: systems with polyhedral invariance of transition probabilities.