Gravar-mail: Posterior probability of the sire's genotype at a major locus based on progeny-test results for discrete characters