Gravar-mail: Privacy-preserving search for chemical compound databases