Bayesian high-dimensional covariate selection in non-linear mixed-effects models using the SAEM algorithm