Injectivity analysis using interval analysis: Application to structural identifiability