산들 높이는 어떻게 알아내는 건가요?

산들보면 해발 몇미터다 그러는데 높은 산들은 높이를 어떻게 재는 걸까요?사람이 줄자 갖고 재는 건 아닐테고 높이를 측정하는 기계가 있는 건가요?