Sleep studies in mice - open and closed loop devices for untethered recording and stimulation