NBC: Google loses appeal over E.U. antitrust ruling, but fine is cut to $4.12 billion