First-principles study of the atomic oxygen adsorption on the (0 0 0 1) graphite surface and dissolution