Quantitative analysis of semiconductor supply chain contracts with order flexibility under demand uncertainty: A case study