A mathematical model to predict thickness distribution and formability of incremental forming combined with stretch forming