Mathematical models for preemptive shop scheduling problems