Gravar-mail: A generative model for constructing nucleic acid sequences binding to a protein