Bayesian specification analysis and estimation of simultaneous equation models using Monte Carlo methods