The Gross-Zagier Formula on Shimura Curves