SMS dit: Model theory of Shimura varieties