Pure discrete spectrum for one-dimensional substitution systems of Pisot type