Your team wants to allow automatic upgrades to new patch releases of the AWS provider (for bug fixes) but must prevent any minor or major version changes that could introduce breaking behavior. The current version in use is 5.31.0. Which version constraint in the required_providers block satisfies this requirement?