Distribution of number of heads when flipping coins