Gravar-mail: Autonomous Exploration and Map Construction of a Mobile Robot Based on the TGHM Algorithm