Seol mar théacs é seo: The Gross-Zagier formula on Shimura curves