Brill–Noether existence on graphs via $${\mathbb {R}}$$-divisors, polytopes and lattices