Ice borehole thermometry: sensor placement using greedy optimal sampling (Geoscientific Instrumentation, Methods and Data Systems, 2025)