RF system models for the CERN Large Hadron Collider with application to longitudinal dynamics