High-resolution depth measurements in digital microscopic surgery