Probabilistic Answer Set Programming