OMU: A Probabilistic 3D Occupancy Mapping Accelerator for Real-time OctoMap at the Edge