BIOINFORMATICS ORIGINAL PAPER doi:10.1093/bioinformatics/btm382 Systems biology Data-based identifiability analysis of non-linear dynamical models