Structural and Convergence Guarantees for the DeepWalk Embedding on Stochastic Block Models