Using Auxiliary Variables and Implied Constraints to Model Non-Binary Problems