How much water was delivered from the asteroid belt to the Earth after its formation?