Productivity gains, technology spillovers and trade: Indonesian manufacturing, 1980-96