Gravar-mail: Mouse SNP Miner: an annotated database of mouse functional single nucleotide polymorphisms