Humanized mice for the development and testing of human vaccines