Optimal workday length considering worker fatigue and employer profit