Text this: Demonstration of Emulator-Based Bayesian Calibration of Safety Analysis Codes: Theory and Formulation