addressed reviwers' comments and added a few things, including the theorem about order basis computation with unbalanced shift, and the lemma about the intermediate shift size.