Application of Finite-Element Models in the Evaluation of Engineered Barriers for a Mined Geologic Repository