Dead-time effect on SPAD detection efficiency