A Theory of Fermat Paths for Non-Line-of-Sight Shape Reconstruction