Financial Risk Management: Models, History, and Institutions