Development of Benchmarks for Historical UK IEU Criticality Experiments and Analysis Using a Kalman Filter Data Assimilation Technique