Graph Neural Networks with Thermodynamic Insights for Binary Activity Coefficient Prediction