Machine Learning Insides OptVerse AI Solver: Design Principles and Applications