Introduction to peer-to-peer insurance and bitcoin