Перестраховщик: Определение, типы и ведущие компании