Create extract_hgt_stl.py