Gravar-mail: Consensus properties for the deep coalescence problem and their application for scalable tree search