A sane theory of the construction of the Pyramids