Opt Out or Top Up? Voluntary Health Care Insurance and the Public vs. Private Substitution