How much surface area do the Forerunner mega-structures actually have, including the halos themselves, the Lesser Ark (Halo 3 Ark / Installation 00), and the Sarcophagus (formerly Onyx / location of ONIRF Trevelyan), and how do they compare to the Earth and other common celestial bodies?