US: Export controls may have led Turkey to buy S-400