mypy pytest sqlalchemy