A branch-and-check approach for a wind turbine maintenance scheduling problem. (December 2017)