Gravar-mail: Large-scale, Exhaustive Lattice-based Structural Auditing of SNOMED CT