Alcohol withdrawal in mice: Electroencephalographic and behavioral correlates