Earthquake insurance in the form of cat bonds