adaptive routing with provable competition 4776110