A static traffic assignment solver two algorithm implemented frank-wolf MSA one small example braess network