The Catastrophe Risk Exchange (Catex) in New York: an exchange and electronic processing system for reinsurance business