Single Metal Atom Catalyst Supported on g-C3N4 for Formic Acid Dehydrogenation: A Combining Density Functional Theory and Machine Learning Study