Pharmacokinetic/pharmaco-dynamic modelling and simulation of the effects of different cannabinoid receptor type 1 antagonists on Δ(9)-tetrahydrocannabinol challenge tests.