What is the process of separating U-235 from other uranium isotopes? How is it possible for us to separate atoms with a slightly different mass?