802.1Qdy-2025 IEEE Standard for Local and Metropolitan Area Networks-Bridges and Bridged Networks Amendment 40: YANG for the Multiple Spanning Tree Protocol