Canonical models of Shimura curves