Credit Correlation: Theory and Practice