Complete reducibility of pseudovarieties