Hierarchical multi-robot navigation and formation in unknown environments via deep reinforcement learning and distributed optimization | Synapse