Which of the following protocols can be used to prevent loops on a Layer 2 network with redundant links?