Which of the following protocols uses label-switching routers and label-edge routers to forward traffic?