Total variation regularization for depth-to-basement estimate: Part 1 — Mathematical details and applications