Time-cost trade-off via optimal control theory in Markov PERT networks