Time dependent truck routing and driver scheduling problem with hours of service regulations