Large-Scale, Exhaustive Lattice-Based Structural Auditing of SNOMED CT