Computable finite element error bounds for Poisson's equation