Non-deterministic approximation operators: ultimate operators, semi-equilibrium semantics and aggregates (full version)