Distributed Predefined-Time Optimization for Second-Order Systems under Detail-Balanced Graphs