Segal type models of higher categories