Residual cardiovascular risk reduction guided by lifetime benefit estimation in patients with symptomatic atherosclerotic disease: effectiveness and cost-effectiveness.