Bayesian analysis of isothermal titration calorimetry for binding thermodynamics