An exact lexicographic approach for the maximally risk-disjoint/minimal cost path pair problem in telecommunication networks