The Univalence Axiom in Cubical Sets