Describir: Index-based livestock insurance: Logic and design