Recombination mapping using Boolean logic and high-density SNP genotyping for exome sequence filtering.