A Mathematical Model for Winter Maintenance Operations Management