Объясните, что представляет собой инструмент Flyway и как он используется в управлении базами данных?