The potential economic value of influenza vaccination for healthcare workers in The Netherlands