Mining Backbone Literals in Incremental SAT - A New Kind of Incremental Data