Integrals of products of Bernoulli polynomials