John Jenkins leaves Vanderbilt early, declares for NBA draft