Solvability in groups of piecewise-linear homeomorphisms of the unit interval