Network Routing of Snowplow Trucks with Resource Replenishment and Plowing Priorities: Formulation, Algorithm, and Application. Issue 1 (January 2014)