Mathematical formulation of HMA crack initiation and crack propagation models based on continuum fracture-mechanics and work-potential theory