An Abstract View on Optimizations in Propositional Frameworks