A theory for determining upper-atmosphere winds from radio observations on meteor trails