When was the asteroid named after the first Israeli astronaut for NASA discovered?