Quadratically approximated normal forms for nonlinear controlled discrete-time dynamics