Model-based analysis of thromboxane B₂ and prostaglandin E₂ as biomarkers in the safety evaluation of naproxen.