Atomic and electronic structure of ultrathin fluoride barrier layers at the oxide/Si interface