Numerical simulation of glacial-valley cross-section evolution