A computer model that compares different refrigeration systems in supermarkets