Which two encoding formats do YANG interfaces support?