Partial Optimality by Pruning for MAP-inference with General GraphicalModels