Infinite-dimensional input-to-state stability