What is the average of the numbers 10, 20, and 30?