alan cross naming asteroids