Можете объяснить, что такое SQLAlchemy и как оно используется в работе с базами данных в Python?