Metals and mining stocks are getting hammered. Here's what you should do.