Rigorous bounds for polynomial Julia sets