Area of a regular convex pentagon