Vicious Circle Principle and Logic Programs with Aggregates