The free algebra in the variety generated by quasi-trivial semigroups