European Central Bank cuts benchmark rate by a quarter point, supporting tepid growth as inflation declines