Recursive Feasibility and Local Asymptotic Stability of Terminal-Cost MPC