Gravar-mail: High-throughput sequencing allows the identification of binding molecules isolated from DNA-encoded chemical libraries