how much is carlos marin worth