Nonlocal and local models for taxis in cell migration: a rigorous limit procedure