A stochastic model of pulmonary platelet production.