Efficient methods for the inclusion of polynomial zeros