A Multi-Stage Stochastic Programming Model with CVaR for Aviation Spare Parts Inventory Optimization | Synapse