Competition in congested service networks with application to air traffic control provision in Europe