In numbers: Opportunity rover | IET Journals & Magazine | IEEE Xplore