Navy paying Microsoft $9 million per year to update Windows XP