Area of a circle in spherical geometry