Diamonds found in four meteorites in north-west Africa probably came from an ancient dwarf planet, and they are expected to be harder than Earth diamonds