An exact algorithm for the robust shortest path problem with interval data