Modeling Spatial Waves of Wolbachia Invasion for Controlling Mosquito-Borne Diseases