Verification of AASHTO-LRFD Specifications Live Load Distribution Factor Formulas for HPS Bridges