Nigeria was ranked 30th in the world in terms of GDP (PPP) in 2012. How much of the US's oil imports come from Nigeria