Mathematical programming formulations for transit network design · Study