Proofreading correction: engineering interval names have been transliterated into English to match Table 3. OC denotes open-cut. Numerical values, interval identifiers, memberships, formulas and executable analysis code are unchanged. Input checksums in manifests have been updated only where label translation changed file bytes.
