Gravar-mail: High-efficiency and integrable DNA arithmetic and logic system based on strand displacement synthesis