Stochastic mathematical modeling and data fitting for pine wilt disease prevention and control: a case study in China | Synapse