Canonical integral models of Shimura varieties