Less transit, more cycling: how the pandemic might change big cities permanently