What does O(log n) mean, exactly?