Michael mowed lawns during the summer to earn extra money. He charged each customer $30 to cut the grass plus $9 for each hour of work. One customer paid Michael $93. How long did it take Michael to mow that customer's lawn?