Marlins agree to trade Reyes and Johnson