A design theory for counterrotating propellers