The brain can get a lot done, and leave you a little smarter, when it sleeps