Theoretical specification of a labour-supply module, including HIV/AIDS, for South Africa