History of electroconvulsive therapy