how many tons of marble did it take to build the pyrmaids?