Oxygen vacancy formation energy at the Pd/CeO2(111) interface