What name is given to this reaction: galactose + glucose → lactose + water?