And how many people did the Egyptians enslave to build the pyramids?