Distributed and certifiable optimization for multi-robot systems