Japan’s quick sinkhole fix shows us what efficient infrastructure looks like