Prometheus: An open-source service monitoring system and time series database