Modeling volatile species in magma ocean-atmosphere interactions on hot rockyexoplanets