European Central Bank hikes rates by a quarter-percentage point