Caries experience of 15-year-old children in The Netherlands after discontinuation of water fluoridation.