A Mathematical Model for Force Prediction in Single Point Incremental Sheet Forming with Validation by Experiments and Simulation