Exact Bounds on the Probability of at least k Successes in n Exchangeable Bernoulli Trials as a Function of Correlation Coefficients