Gravar-mail: Recombination mapping using Boolean logic and high-density SNP genotyping for exome sequence filtering