What evidence exists of planetary formation in other places in the universe?