Theory of the Mesopause Semiannual Oscillation