sqlite3 group by having