GaussianFormer-2: Probabilistic Gaussian Superposition for Efficient 3D Occupancy Prediction