Modeling Detonation Experiments on Triaminotrinitrobenzene (TATB)-Based Explosives LX-17, PBX 9502, and Ultrafine TATB