since then a number of binary asteroids has been discovered