Aggregates in Answer Set Programming