Six-vertex model with domain wall boundary conditions and one-matrix model