Demand fulfillment and availability analysis of a multi-state production system considering spare part inventory policy | Synapse