Surrogate modeling and real-time optimization of propellant mixtures for hall thrusters | Synapse