Gravar-mail: A framework for variation discovery and genotyping using next-generation DNA sequencing data