Parameters identification of HIV dynamic models for HAART treated patients: A comparative study