A Novel Integer Linear Programming Formulation for Job-Shop Scheduling Problems