Bump the production-dependencies group with 5 updates

Bumps the production-dependencies group with 5 updates:

| Package | From | To |
| --- | --- | --- |
| [azure-mgmt-dns](https://github.com/Azure/azure-sdk-for-python) | `8.1.0` | `8.2.0` |
| [azure-mgmt-resource](https://github.com/Azure/azure-sdk-for-python) | `23.1.1` | `23.2.0` |
| [rich](https://github.com/Textualize/rich) | `13.9.2` | `13.9.3` |
| [pydata-sphinx-theme](https://github.com/pydata/pydata-sphinx-theme) | `0.15.4` | `0.16.0` |
| [mypy](https://github.com/python/mypy) | `1.12.1` | `1.13.0` |


Updates `azure-mgmt-dns` from 8.1.0 to 8.2.0
- [Release notes](https://github.com/Azure/azure-sdk-for-python/releases)
- [Changelog](https://github.com/Azure/azure-sdk-for-python/blob/main/doc/esrp_release.md)
- [Commits](Azure/azure-sdk-for-python@azure-mgmt-dns_8.1.0...azure-mgmt-dns_8.2.0)

Updates `azure-mgmt-resource` from 23.1.1 to 23.2.0
- [Release notes](https://github.com/Azure/azure-sdk-for-python/releases)
- [Changelog](https://github.com/Azure/azure-sdk-for-python/blob/main/doc/esrp_release.md)
- [Commits](Azure/azure-sdk-for-python@azure-mgmt-resource_23.1.1...azure-mgmt-resource_23.2.0)

Updates `rich` from 13.9.2 to 13.9.3
- [Release notes](https://github.com/Textualize/rich/releases)
- [Changelog](https://github.com/Textualize/rich/blob/master/CHANGELOG.md)
- [Commits](Textualize/rich@v13.9.2...v13.9.3)

Updates `pydata-sphinx-theme` from 0.15.4 to 0.16.0
- [Release notes](https://github.com/pydata/pydata-sphinx-theme/releases)
- [Changelog](https://github.com/pydata/pydata-sphinx-theme/blob/main/RELEASE.md)
- [Commits](pydata/pydata-sphinx-theme@v0.15.4...v0.16.0)

Updates `mypy` from 1.12.1 to 1.13.0
- [Changelog](https://github.com/python/mypy/blob/master/CHANGELOG.md)
- [Commits](python/mypy@v1.12.1...v1.13.0)

---
updated-dependencies:
- dependency-name: azure-mgmt-dns
  dependency-type: direct:production
  update-type: version-update:semver-minor
  dependency-group: production-dependencies
- dependency-name: azure-mgmt-resource
  dependency-type: direct:production
  update-type: version-update:semver-minor
  dependency-group: production-dependencies
- dependency-name: rich
  dependency-type: direct:production
  update-type: version-update:semver-patch
  dependency-group: production-dependencies
- dependency-name: pydata-sphinx-theme
  dependency-type: direct:production
  update-type: version-update:semver-minor
  dependency-group: production-dependencies
- dependency-name: mypy
  dependency-type: direct:production
  update-type: version-update:semver-minor
  dependency-group: production-dependencies
...

Signed-off-by: dependabot[bot] <support@github.com>

pyproject.toml

@@ -32,11 +32,11 @@ dependencies = [
   "azure-keyvault-secrets==4.9.0",
   "azure-mgmt-compute==33.0.0",
   "azure-mgmt-containerinstance==10.1.0",
-  "azure-mgmt-dns==8.1.0",
+  "azure-mgmt-dns==8.2.0",
   "azure-mgmt-keyvault==10.3.1",
   "azure-mgmt-msi==7.0.0",
   "azure-mgmt-rdbms==10.1.0",
-  "azure-mgmt-resource==23.1.1",
+  "azure-mgmt-resource==23.2.0",
   "azure-mgmt-storage==21.2.1",
   "azure-storage-blob==12.23.1",
   "azure-storage-file-datalake==12.17.0",
@@ -53,7 +53,7 @@ dependencies = [
   "pyjwt[crypto]==2.9.0",
   "pytz==2024.2",
   "pyyaml==6.0.2",
-  "rich==13.9.2",
+  "rich==13.9.3",
   "simple-acme-dns==3.1.0",
   "typer==0.12.5",
   "websocket-client==1.8.0",
@@ -68,15 +68,15 @@ Source = "https://github.com/alan-turing-institute/data-safe-haven"
 docs = [
   "emoji==2.14.0",
   "myst-parser==4.0.0",
-  "pydata-sphinx-theme==0.15.4",
+  "pydata-sphinx-theme==0.16.0",
   "sphinx-togglebutton==0.3.2",
   "sphinx==8.1.3",
 ]
 lint = [
   "ansible-dev-tools==24.10.0",
   "ansible==10.5.0",
   "black==24.10.0",
-  "mypy==1.12.1",
+  "mypy==1.13.0",
   "pandas-stubs==2.2.3.241009",
   "pydantic==2.9.2",
   "ruff==0.7.0",