A platform for collaborative mapping