Bayesian theory of identification in simultaneous equations models