Finite-time input-to-state stability of discrete-time stochastic switched systems: a comparison principle-based method