An Additive Manufacturing Spare Parts Inventory Model for an Aviation Use Case · Study