Gravar-mail: Formal approach to modeling of modern Information Systems