The Nigerian government has commissioned the overseas production and launch of four satellites. How many satellites has the Nigerian government commissioned?