The scheduling of maintenance. A resource-constraints mixed integer linear programming model. (September 2015)