Development Of Quantitative Methods For Project Scheduling And Workface Planning Under Time-Dependent Resource Constraints