Decentralized Multi-Robot Encirclement of a 3D Target with Guaranteed Collision Avoidance