Monopoles and three-manifolds (Cambridge Univ. Press, 2007)