Advanced trip planners for transit networks: some theoretical and experimental aspects of pre-trip path choice modeling