Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory