Approximate Stream Function wavemaker theory for highly non-linear waves in wave flumes