Markov Logic Networks for Document Layout Correction