Ferroelectric phase transition and soft-mode behavior in BaxSr1−xTiO3: a refined treatment of a quasi-harmonic model