I don't understand what is a walker menu in wp_nav_menu() function means. The document doesn't say much about