Bayesian analysis for nonlinear mixed-effects models under heavy-tailed distributions