Semantic OcTree Mapping and Shannon Mutual Information Computation for Robot Exploration