Timber production, timber trade and tropical deforestation.