Gravar-mail: Analyzing milestoning networks for molecular kinetics: Definitions, algorithms, and examples