Range imaging using frequency diversity: Theory and application