An exact algorithm for the k-robust shortest paths problem with interval data