Optimal control of vaccination in a vector-borne reaction–diffusion model applied to Zika virus