Gravar-mail: Methods for studying habitual behavior in mice