Text this: Bayesian estimation of a proportion under an asymmetric observation error