Update `example` to `examples` in pydantic models when Swagger fixes bug

`example` is now deprecated in FastAPI but the replacement, `examples`, does not show up in the Swagger docs, so we can't switch to it for now.

https://github.com/swagger-api/swagger-ui/issues/9045