Lake Mead Intake No. 3: The TBM Tunneling Experience