Stage-dependent structured discrete time models for mosquito population evolution with survivability : solution properties, equilibrium points, oscillations, and population feedback controls