A survey of software tools for microRNA discovery and characterization using RNA-seq