Early tardy scheduling

Solves a scheduling problem by applying logical constraints, piecewise linear functions, and aggressive MIP emphasis.