Modelling the effects of pro bicycle infrastructure and policies: towards sustainable urban mobility