Mixed Integer Linear Programming for Time-Optimal Cyclic Scheduling of High Throughput Screening Systems