A Probabilistic Formulation of LiDAR Mapping with Neural Radiance Fields