Electronic Distance Measuring Devices market