Differentiable Modeling and Optimization of Battery Electrolyte Mixtures Using Geometric Deep Learning