MarineMap is an open-source tool for participatory marine planning