SIAN: software for structural identifiability analysis of ODE models