The reversible lane network design problem (RL-NDP) for smart cities with automated traffic