In emergency medical care, what is the name of the device used to deliver a therapeutic dose of electrical energy to a patient's heart in order to restore a normal heartbeat?