Models for technology choice in a transit corridor with elastic demand