Laboratory Measurement and Theoretical Modeling of K-Shell X-Ray Lines from Inner-Shell Excited and Ionized Ions of Oxygen