Gravar-mail: A generalized Robinson-Foulds distance for labeled trees