John Geddes: early pioneer and advocate of rapid pre-hospital defibrillation