Social Insurance: Connecting Theory to Data