Electronic Distance Measuring Devices market cagr