The life of a certain brand of battery is normally distributed, with mean 128 hours and standard deviation 16 hours. What is the probability that a battery you buy lasts at most 100 hours? Standardize the variable.