Informative Path Planning for Autonomous Mapping of Unknown Non-Convex Environments: Design, Benchmarking, and Validation | Synapse