Federal Reserve pumps $13.5 billion into the U.S. banking system