A semi-automatic algorithm for reducing the time spent on routine follow-up of cardioverter defibrillators