Mathematical models and logic for the computer control of batch retorts: Conduction-heated foods