Explicit birational geometry of 3-folds (Cambridge Univ. Press, 2000)