An approximation formula for the price of credit default swaps under the fast-mean reversion volatility model