If a network design must support rapid convergence on half-duplex interfaces, which IEEE 802.1w capability should be used?