Improving Business Process Efficiency for Supply Chain Finance: Empirical Analysis and Optimization Based on Stochastic Petri Net.