Towards solving CAPTCHAs using a generative process (probabilistic programming)