Observer design for nonlinear systems by using input-to-state stability