A Characterization of Single-Peaked Preferences via Random Social Choice Functions