Russia ships first oil cargo to Brazil as it seeks to diversify buyers