Model-based analysis of the b-adrenergic modulation of IKs in the guinea-pig ventricle