Zaslat SMS: Applying Mathematical Modeling Optimization Algorithms to Solve Shop Floor Scheduling Problems