postgresql group by having sum