Area of a geodesic polygon