How many patients with severe symptomatic aortic stenosis excluded for cardiac surgery are eligible for transcatheter heart valve implantation?