Exact Occupancy Grid Mapping and Autonomous Exploration Simulation