Vanderbilt basketball loses player to pro league in Europe