Theory of small charge solitons in one-dimensional arrays of Josephson junctions