A methodology for design of a GIS-based automatic transit traveler information system