Explorer 0 . 5 billion events per second time correlated single photon counting using CMOS SPAD arrays