Computing secure sets in graphs using answer set programming