Sync upstream prometheus

[pracucci]

Synching upstream prometheus because I want to get https://github.com/prometheus/prometheus/pull/13843

What's in this sync:

• https://github.com/prometheus/prometheus/pull/13843
• https://github.com/prometheus/prometheus/pull/12503
• https://github.com/prometheus/prometheus/pull/14396