Why is the required water temperature higher when sanitizing dishes in a high-temperature dishwashing machine than when sanitizing dishes manually?