Distributed robust optimization for multi-agent systems with guaranteed finite-time convergence