Introduce notion of service inversion

With the notion of supply, we must distinguish between priority inversion (a lower-priority job is scheduled) and service inversion (a lower-priority job receives service).