theory of horizontal axis windmills