The Impact of International Oil Prices on Industrial Production: The Case of Thailand