Learning Proximal Operators with Gaussian Process and Adaptive Quantization in Distributed Optimization