Gravar-mail: A customized and versatile high-density genotyping array for the mouse