Congruences concerning Bernoulli numbers and Bernoulli polynomials