Diamonds may be produced on other planets