Electric Field of a Line of Charge from Gauss's Law