Understanding Automated External Defibrillators: Their Design, Effectiveness, and Presence in Public Spaces and at Home