Self-Stabilization in Tree-Structured Peer-to-Peer Service Discovery Systems