NASA rover extracts first oxygen from Mars