Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates