Joint Optimization of Spare Part Manufacturing and Maintenance Workforce Scheduling Under Heterogeneous In-Warranty and Out-of-Warranty Demands | Synapse