Vaccine development against dengue and Japanese encephalitis: report of a World Health Organization meeting