An Integer Linear Programming Approach to Maintenance Strategies Selection