Lyapunov functions and global stability for a spatially diffusive SIR epidemic model