Learning Optimal Power Flow Value Functions with Input-Convex Neural Networks