Cyber Insurance 101: A Tutorial on Policies, Costs, and Claims