Humanized Mice for Modeling Human Infectious Disease: Challenges, Progress, and Outlook