Estimating total genic diversity in the house mouse