Bisimulations for Reasoning about Input-to-State Stability Properties of Hybrid Systems