A tactical planning algorithm for pavement management systems