How many satellites have been discovered so far in the solar system?