Characteristics of a thin-film LaF3 solid electrolyte for oxygen sensing