This report contains supplementary material for the paper, and gives detailed proofs of all theorems and lemmas that could not be included into the paper due to space limitations.