Bernoulli shifts with the same entropy are isomorphic