The discrete probability distribution of a sum of independent Bernoulli trials that are not necessarily identically distributed