Model-based force identification in experimental ice-structure interaction by means of Kalman filtering