Device insurance programs for schools: How they work