Modify "The underlying system" chapter.

Add definition of orientability and made some small
alterations of the text.
Modify "Tools and methods" chapter.

Small changes to make the text clearer and easier to
understand.
Modify "Model 1: Occupied blocks" chapter.

Remove third switch constraint from first model and
add it in the analysis of the second model.
Also some small fixes to make the text clearer.