A Survey on the Progress of Computer-Assisted Vascular Intervention