miners : time to go long gold miners and short the s&p 500?