Network equilibrium models of travel choices with multiple classes