Demonstration of Emulator-Based Bayesian Calibration of Safety Analysis Codes: Theory and Formulation. (4th August 2015)