Ordered Completion for Logic Programs with Aggregates