Computer-Aided Design of Energetic Tris(tetrazolyl)amine Derivatives and Salts