FactReasoner: A Probabilistic Approach to Long-Form Factuality Assessment for Large Language Models