Gravar-mail: Modeling and automation of sequencing-based characterization of RNA structure