Mathematical-based Approaches for the Semiconductor Capital Equipment Installation and Qualification Scheduling Problem