Можете объяснить, для чего используется функция len для среза в Go и как она работает?