Stage-Dependent Structured Discrete-Time Models for Mosquito Population Evolution with Survivability: Solution Properties, Equilibrium Points, Oscillations, and Population Feedback Controls