High-efficiency synthesis of red carbon dots using machine learning