Almost Sure Convergence of Dropout Algorithms for Neural Networks