The turnpike property in finite-dimensional nonlinear optimal control