Identification and verification of microRNAs by high-throughput sequencing.