A posteriori error bound methods for the inclusion of polynomial zeros