How does the weight of uranium-238 compare to that of uranium-235?