Smart Machines and the SP Theory of Intelligence