Dutch disease revisited. Oil discoveries and movements of the real exchange rate when manufacturing is resource-intensive