Cerebral energy metabolism during electroshock seizures in mice