Zaslat SMS: A theory of supercritical wing sections, with computer programs and examples