Finite-Time Convergence of Continuous-Time Optimization Algorithms via Differential Inclusions