Seol mar théacs é seo: Arithmetic compactifications of PEL-type Shimura varieties