Recursive Aggregates as Intensional Functions in Answer Set Programming: Semantics and Strong Equivalence