A Dynamic Structural Model of Health Insurance and Retirement