On the Measurement of Frequency and its Sample Variance with High-Resolution Counters