Text this: Model theory of Shimura varieties