Time allocation in human vigilance