proc sql group by having max