An Automatic Technique for Selection of Data Representations in SETL Programs