Opt out or top up? Voluntary healthcare insurance and the public vs private substitution