BotanicGarden: A high-quality and large-scale robot navigation dataset in challenging natural environments