Microsimulation and extreme value theory to assess the effect of varying levels of automated vehicles on crash risk | Synapse