David L. Mills, an internet pioneer who developed and, for decades, implemented the timekeeping protocol used by financial markets, power grids, satellites and billions of computers to make sure they ...