Rigorous dynamical mean field theory for stochastic gradient descent methods