Industrials stocks are sitting at all-time highs, and traders say these four names could be the best way to play catch-up.