Programmed electrical stimulation in mice.