A pharmacokinetic model optimized by covariates for propofol target-controlled infusion in dogs