W-MiniZinc: A Proposal for Modeling Weighted CSPs with MiniZinc