Specifications of SAM/BAM and related high-throughput sequencing file formats