Lunar resources: Oxygen from rocks and soil