Derivatives, Default Risk, and Margining