[math-fun] area of spherical triangle