How many people built the pyramids in the world