Title: Introduction to electronic distance measurement