Geometric Langlands correspondence via quantization in positive characteristic