African leaders have gathered for the state funeral of Robert Mugabe. After a week of dispute, Mugabe's family and Zimbabwean officials agreed the divisive former leader will be buried at a national heroes' cemetery.