Biodiversity as insurance: from concept to measurement and application