A Network Generalized Extreme Value Model for Route Choice Allowing Implicit Route Enumeration. (22nd March 2013)