Windmill | Definition, History, Types, & Facts | Britannica