Gravar-mail: Differences in Brain Activity After Learning With the Use of a Digital Pen vs. an Ink Pen—An Electroencephalography Study