Collective Tree Exploration via Potential Function Method