Prometheus — что такое, как использовал, как работает, как собирает метрики, какие основные типы метрик?