Rehabilitation of water mains. (AWWA manual ;, 2001)