Ardevora global equity goes short on industrials