Gravar-mail: A convex formulation for joint RNA isoform detection and quantification from multiple RNA-seq samples