Descriptor Design in the Computational Screening of Ni-Based Catalysts with Balanced Activity and Stability for Dry Reforming of Methane Reaction | Synapse