[math-fun] Solid angle of a spherical triangle