A qualitative process theory based model of the HIV-1 virus-cell interaction