Ornstein-Uhlenbeck semigroups in infinite dimension