A Theory of Fermat Paths for Non-Line-of-Sight Shape Reconstruction - Robotics Institute Carnegie Mellon University