Vale paga R$ 535,4 milhões a titulares de debêntures participativas