historical estimates of pyramid construction