Neurocomputational mechanisms of proactive social behavior deficits in autism spectrum disorder