which statement best describes cisco supervisor engine redundancy using stateful switchove