When a rock first formed, it contained 48 milligrams of potassium-40. How much potassium-40 would remain after three half-lives?