Forecasting the economic value of an Enterovirus 71 (EV71) vaccine.