'Diamond rain' on Uranus and Neptune seems likely