A New Formulation for Scheduling Unrelated Processors under Precedence Constraints