Unsatisfiable core shrinking for anytime answer set optimization