Gravar-mail: Theoretical Foundation of the RelTime Method for Estimating Divergence Times from Variable Evolutionary Rates