A computer model for the estimation of peak pressure for sonic-vented tetrafluoroethylene decompositions