Brad Garlinghouse takes over as CEO of funds startup Ripple