Pricing vulnerable European options with dynamic correlation between market risk and credit risk