Differences in Automated External Defibrillator Types in Out-of-Hospital Cardiac Arrest Treated by Police First Responders