Telefona gönder: Model theory of Shimura varieties