A coffee shop sells two types of coffee beans: premium and standard. A pound of premium beans costs $12, and a pound of standard beans costs $8. If a customer buys a total of 7 pounds of coffee beans for a total cost of $72, how many pounds of premium beans did the customer buy?