A mixed PDE-Monte Carlo approach for pricing credit default index swaptions