Gravar-mail: Linear-time algorithms for phylogenetic tree completion under Robinson–Foulds distance