Capacity planning for cardiac catheterization: a case study.