A TB-HIV/AIDS coinfection model and optimal control treatment