Seol mar théacs é seo: Maximum a posteriori estimation by search in probabilistic programs