Scaling-up Importance Sampling for Markov Logic Networks