Using Open Street Maps data and tools for indoor mapping in a Smart City scenario