R code for iTraxx index tranche pricing