Volumetric Occupancy Mapping With Probabilistic Depth Completion for Robotic Navigation