Finite-time boundary stabilization of reaction-diffusion systems