Proactive Algorithms for Job Shop Scheduling with Probabilistic Durations