On Bayesian inference in pulsar timing arrays: identifiability and choice of the priors