High precision timer for PHP