Quantitative Sovereign Default Models and the European Debt Crisis