The SP theory of intelligence: benefits and applications