The robust shortest path problem with interval data via Benders decomposition