3D Gaussian Splatting in Robotics: A Survey