SAS code to randomize