How many children did samora machel the former president of Mozambique have?