Postgresql int[] aggregate