Which clinical vocabulary standard uses a description logic–based formalism and is considered the most semantically rich for representing clinical concepts?