global industrial sensors market