Univalent Higher Categories via Complete Semi-Segal Types