OMU: A probabilistic 3D occupancy mapping accelerator for real-time OctoMap at the edge