formalise the model for simulating read counts

[grahamgower]

I.e., some mathematical description of how the read counts are obtained from a genotype (or genotypes). Probably, we will want to consider multiple models here; one very basic, and also maybe something more realistic.