Exploration with active loop closing: A trade-off between exploration efficiency and map quality.