Implementation of Univalence in Cubical Sets