Gravar-mail: Circuit mechanisms and computational models of REM sleep