Dynamics and optimal control of a spatial diffusion HIV/AIDS model with ART and PrEP treatments