Fast mapping a protein sequence to a genomic sequence