Input-to-State Stability of Nonlinear Functional Systems