Optimization and Generalization Guarantees for Weight Normalization