One-Dimensional Variational Ionospheric Retrieval Using Radio Occultation Bending Angles: Part 1 -Theory