Главная астрономическая обсерватория Пулково: История и современность