Virtual Arc Consistency for Linear Constraints in Cost Function Networks