Where do bike lanes work best? A Bayesian spatial model of bicycle lanes and bicycle crashes. (March 2018)