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