A banker finds that the number of times people use automated-teller machines in a year are normally distributed with a mean of 40.0 and a standard deviation of 11.4. What is the percentage of customers who use them between 45 and 55 times?