A Magnus wind turbine power model based on direct solutions using the Blade Element Momentum Theory and symbolic