Closed-form Pricing of Benchmark Equity Default Swaps under the CEV Assumption