East African leaders agree to deploy regional force to DRC