A computational procedure for prediction of ballasted track profile degradation under railway traffic loading