Discrete event simulation model for cost-effectiveness evaluation of screening for asymptomatic patients with lower extremity arterial disease