A nonstandard finite difference scheme and optimal control for an HIV model with Beddington–DeAngelis incidence and cure rate