update to latest Micrometer dependency

So far, we've been staying on Micrometer 1.12, because 1.13 includes a breaking change in the Prometheus client (see https://github.com/micrometer-metrics/micrometer/wiki/1.13-Migration-Guide). It's long overdue we migrated to the latest version; let's do that in 7.0.0.