A flash high-precision time-to-digital converter implemented in FPGA technology