How much of the ancient Egyptian GDP went into building pyramids and other royal tombs? Did their construction cause economic hardship?