SMS versenden: Maximum a posteriori estimation by search in probabilistic programs