A Global-Optimization Algorithm for Solving the Maintenance Scheduling Problem for a Family of Machines