Insurability of Catastrophic Risks: The Stochastic Optimization Model