Ellipsoidal trigonometry