Dutch National Institute for Public Health and the Environment (Rijksinstituut voor Volksgezondheid en Milieu). Funding