Density results and trace operator in weighted Sobolev spaces defined on the half-line, equipped with power weights