Design of the Texas petawatt laser