Electronic Distance Measuring Devices market share