Are There Trade-offs in Public Health Insurance Design?