Unifying Logical and Statistical AI with Markov Logic