How long ago is the Earth's Uranium thought to have been formed, and given its half-life, how much Uranium did there used to be around?